create procedure disciplinas_n_inscrito(@cod_aluno int)
as

select id_disciplina, ano_letivo, descricao
from disciplina
where not exists (select * from inscricao_disciplina, aluno
				  where inscricao_disciplina.cod_aluno = @cod_aluno
			      and inscricao_disciplina.id_disciplina = disciplina.id_disciplina
			      and aluno.cod_aluno = @cod_aluno
			      and disciplina.cod_curso = aluno.cod_curso)
go

